home *** CD-ROM | disk | FTP | other *** search
- # ***** BEGIN LICENSE BLOCK *****
- # Version: MPL 1.1/GPL 2.0/LGPL 2.1
- #
- # The contents of this file are subject to the Mozilla Public License Version
- # 1.1 (the "License"); you may not use this file except in compliance with
- # the License. You may obtain a copy of the License at
- # http://www.mozilla.org/MPL/
- #
- # Software distributed under the License is distributed on an "AS IS" basis,
- # WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
- # for the specific language governing rights and limitations under the
- # License.
- #
- # The Original Code is Mozilla MathML Project.
- #
- # The Initial Developer of the Original Code is The University Of
- # Queensland. Portions created by The University Of Queensland are
- # Copyright (C) 2001 The University Of Queensland. All Rights Reserved.
- #
- # Contributor(s):
- # Roger B. Sidje <rbs@maths.uq.edu.au>
- #
- # Alternatively, the contents of this file may be used under the terms of
- # either the GNU General Public License Version 2 or later (the "GPL"), or
- # the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
- # in which case the provisions of the GPL or the LGPL are applicable instead
- # of those above. If you wish to allow use of your version of this file only
- # under the terms of either the GPL or the LGPL, and not to allow others to
- # use your version of this file under the terms of the MPL, indicate your
- # decision by deleting the provisions above and replace them with the notice
- # and other provisions required by the GPL or the LGPL. If you do not delete
- # the provisions above, a recipient may use your version of this file under
- # the terms of any one of the MPL, the GPL or the LGPL.
- #
- # ***** END LICENSE BLOCK *****
-
- # LOCALIZATION NOTE: FILE
- # Do not translate anything in this file
-
- # This file contains the list of all stretchy MathML chars that
- # can be rendered with the indicated mathfont.
- mathfont = MT Extra
-
- # [ T/L | M | B/R | G | size0 ... size{N-1} ]
- \uF613 = \uEC00\uEC01\uEC02\uEC03\uF613
- \uF612 = \uEC04\uEC05\uEC06\uEC03\uF612
- #disable for now as they appear too small and don't align properly at default font-size
- #\u20D6 = \u20D6\uFFFD\uFFFD\uEB00\u20D6
- #\u20D7 = \uFFFD\uFFFD\u20D7\uEB00\u20D7
- #\u20E1 = \u20D6\uFFFD\u20D7\uEB00\u20E1
- #\u20D0 = \u20D0\uFFFD\uFFFD\uEB00\u20D0
- #\u20D1 = \uFFFD\uFFFD\u20D1\uEB00\u20D1
-